1. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
3. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
4. Constructivism in mathematics
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
5. Constructivism in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ;
6. Constructivism in mathematics
پدیدآورنده : A.S. Troelstra, D. van Dalen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
7. Constructivism in mathematics :
پدیدآورنده : A.S. Troelstra, D. van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constructive mathematics
رده :
QA9
.
56
.
T74
1988
8. Dirk van Dalen Festschrift
پدیدآورنده : Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
رده :
QA9
.
H465
1993
9. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
10. Logic and Structure
پدیدآورنده : / Dirk Van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic Circuits.,Logic Design.
رده :
TK7888
,.
4
.
D
3
11. Logic and structur
پدیدآورنده : / Dirk van Dalen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
12. Logic and structure
پدیدآورنده : Dirk van Dalen,Title
موضوع : Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
13. Logic and structure
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1994
14. Logic and structure
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
15. Logic and structure
پدیدآورنده : Dirk van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
D35
2013
16. Logic and structure
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
17. Logic and structure
پدیدآورنده : / Dirk van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
D16
1997
18. Mystic, geometer, and intuitionist :
پدیدآورنده : / Dirk van Dale
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Brouwer, L. E. J. , (Luitzen Egbertus Jan), , 1881-1966,Mathematicians , Netherlands , Biography
رده :
E-BOOK
19. Mystic, geometer, and intuitionist: the life of L. E. J. Brouwer
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Brouwer, L. E. J.)Luitzen Egbertus Jan(, 1881-6691,Biography ، Mathematicians-- Netherlands
رده :
QA
29
.
B697
.
D35
1999
20. Sets : naive, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Axiomatic set theory
رده :
QA
248
.
D2341
1978
